package lockmanager.quickcheck;


import net.java.quickcheck.Generator;

public class StateGenerator implements Generator<State>{
	

	State state = null;

	
	public StateGenerator(){
		this.state = new State();
		this.state.initState();
	}
	
	@Override
	public State next() {
		
		state.nextState();
		return state;
	}

	
}
